main()//唐子豪
{
    long int i;
    int j,k,l;
    for(i=10000;i<=99999;i++)
        if(i%1000-i%100==400)
            for(j=10;j<=99;j++)
                if (i%j==0&&(l=i/j)%100>=70&&l%100<80&&1%10!=0&&1>100&&1<=999)
                if(j*(1%10))<100&&j*(l%10)>10
                    if(j*7%100>=70&&j*7%100<80)
                        if(j*(1/100)%100==77&&j*(1/100)>100)
                            printf("%ld/%d=%d\n",i,j,l);
                
                
}